121. Languages and compilers for parallel computing :
Author: James Brodman, Peng Tu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Parallelizing compilers, Congresses.
Classification :
QA76
.
58
122. Learning and intelligent optimization :
Author: Roberto Battiti, Mauro Brunato, Ilias Kotsireas, Panos M. Pardalos (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine learning, Congresses.,Machine learning.
Classification :
Q325
.
5
123. Logic of Computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
124. MICAI 2002 :
Author: Carlos A. Coello Coello [and others], (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.
125. Machines, computations, and universality
Author: / Maurice Margenstern (ed.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming--Congresses.,Algorithms--Congresses.
Classification :
QA76
.
6
.
M4255
2004
126. Machines, computations, and universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 : revised selected papers
Author: Maurice Margenstern )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
3354
127. Machines, computations, and universality: third international conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
6
.
M29
2001
128. Machines, computations, and universality : third international conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001 : proceedings
Author: Maurice Margenstern, Yurii Rogozhin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Algorithms
Classification :
QA
76
.
L28
Vol
.
2055
129. Mathematical foundations of computer science 2012
Author: Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses,Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
S96
2012eb
130. Mathematical foundations of computer science 2013 :
Author: Krishnendu Chatterjee, Jirí Sgall, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
Classification :
QA76
.
9
.
M35
K757
9999
131. Mathematical foundations of computer science 1999 :
Author: Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.
132. Mathematical foundations of computer science 2008
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
133. Mathematical foundations of computer science 2003 :
Author: Krzysztof Diks and Wojciech Rytter (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
134. Mathematical foundations of computer science 200
Author: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
135. Metaheuristics
Author: / edited by Toshihide Ibaraki, Koji Nonobe, Mutsunori Yagiura
Library: Library and knowledge management of the management schools of Tehran University (Tehran)
Subject: Combinatorial optimization, Data processing, Congresses,Heuristic programming, Congresses,Problem solving, Data processing, Congresses,Computer algorithms, Congresses
Classification :
519
. .
64
M587
136. Model and data engineering :
Author: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
D3
137. Modeling decisions for artificial intelligence :
Author: Vicenç Torra [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Mathematical models -- Congresses.,Artificial intelligence -- Mathematical models.,Informatique.
138. Multi-agent systems :
Author: Marija Slavkovik (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multiagent systems, Congresses.,Multiagent systems.
Classification :
QA76
.
76
.
I58
139. Multi-disciplinary trends in artificial intelligence :
Author: Manasawee Kaenampornpan, Rainer Malaka, Duc Dung Nguyen, Nicolas Schwind (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Network hardware.
Classification :
Q334
.
M59
2018eb
140. NASA Formal Methods :
Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N45
2019
